1,729 research outputs found
Rural children are more likely to live in cohabiting-couple households
As cohabiting increases nationwide, new data show that the growing rate of children in these households is most pronounced in rural areas. This brief analyzes recent U.S. Census Bureau data to explore these trends and patterns
Runtime Verification of Temporal Properties over Out-of-order Data Streams
We present a monitoring approach for verifying systems at runtime. Our
approach targets systems whose components communicate with the monitors over
unreliable channels, where messages can be delayed or lost. In contrast to
prior works, whose property specification languages are limited to
propositional temporal logics, our approach handles an extension of the
real-time logic MTL with freeze quantifiers for reasoning about data values. We
present its underlying theory based on a new three-valued semantics that is
well suited to soundly and completely reason online about event streams in the
presence of message delay or loss. We also evaluate our approach
experimentally. Our prototype implementation processes hundreds of events per
second in settings where messages are received out of order.Comment: long version of the CAV 2017 pape
Predicting in-hospital mortality and unanticipated admissions to the intensive care unit using routinely collected blood tests and vital signs: development and validation of a multivariable model.
AIM: The National Early Warning System (NEWS) is based on vital signs; the Laboratory Decision Tree Early Warning Score (LDT-EWS) on laboratory test results. We aimed to develop and validate a new EWS (the LDTEWS:NEWS risk index) by combining the two and evaluating the discrimination of the primary outcome of unanticipated intensive care unit (ICU) admission or in-hospital mortality, within 24âhours. METHODS: We studied emergency medical admissions, aged 16 years or over, admitted to Oxford University Hospitals (OUH) and Portsmouth Hospitals (PH). Each admission had vital signs and laboratory tests measured within their hospital stay. We combined LDT-EWS and NEWS values using a linear time-decay weighting function imposed on the most recent blood tests. The LDTEWS:NEWS risk index was developed using data from 5 years of admissions to PH, and validated on a year of data from both PH and OUH. We tested the risk index's ability to discriminate the primary outcome using the c-statistic. RESULTS: The development cohort contained 97,933 admissions (median ageâ=â73 years) of which 4,723 (4.8%) resulted in in-hospital death and 1,078 (1.1%) in unanticipated ICU admission. We validated the risk index using data from PH (nâ=â21,028) and OUH (nâ=â16,383). The risk index showed a higher discrimination in the validation sets (c-statistic value (95% CI)) (PH, 0.901 (0.898-0.905); OUH, 0.916 (0.911-0.921)), than NEWS alone (PH, 0.877 (0.873-0.882); OUH, 0.898 (0.893-0.904)). CONCLUSIONS: The LDTEWS:NEWS risk index increases the ability to identify patients at risk of deterioration, compared to NEWS alone
Seasonal variability of the warm Atlantic Water layer in the vicinity of the Greenland shelf break
The warmest water reaching the east and west coast of Greenland is found between 200?m and 600?m. Whilst important for melting Greenland's outlet glaciers, limited winter observations of this layer prohibit determination of its seasonality. To address this, temperature data from Argo profiling floats, a range of sources within the World Ocean Database and unprecedented coverage from marine-mammal borne sensors have been analysed for the period 2002-2011. A significant seasonal range in temperature (~1-2?°C) is found in the warm layer, in contrast to most of the surrounding ocean. The phase of the seasonal cycle exhibits considerable spatial variability, with the warmest water found near the eastern and southwestern shelf-break towards the end of the calendar year. High-resolution ocean model trajectory analysis suggest the timing of the arrival of the year's warmest water is a function of advection time from the subduction site in the Irminger Basin
Neoliberalisation and 'lad cultures' in higher education
This paper links HE neoliberalisation and âlad culturesâ, drawing on interviews and focus groups with women students. We argue that retro-sexist âladdishâ forms of masculine competitiveness and misogyny have been reshaped by neoliberal rationalities to become modes of consumerist sexualised audit. We also suggest that neoliberal frameworks scaffold an individualistic and adversarial culture among young people that interacts with perceived threats to menâs privilege and intensifies attempts to put women in their place through misogyny and sexual harassment. Furthermore, âlad culturesâ, sexism and sexual harassment in higher education may be invisibilised by institutions to preserve marketability in a neoliberal context. In response, we ask if we might foster dialogue and partnership between feminist and anti-marketisation politics
From Regular to Chaotic States in Atomic Nuclei
An interesting aspect of nuclear dynamics is the co--existence, in atomic
nuclei, of regular and chaotic states. In the first part of the present work,
we review the state of the art of nuclear dynamics and use a schematic shell
model to show how a very simple and schematic nucleon--nucleon interaction can
produce an orderchaos transition. The second part is devoted to a
discussion of the wave function behaviour and decay of chaotic states using
some simple models (to be published in Rivista Nuovo Cimento).Comment: 65 pages, LaTex (the figures are not included), Preprint
DFPD/94/TH/26, University of Padov
- âŠ